- set-theoretic hierarchy
- hierarquia cumulativa dos conjuntos
English-Portuguese philosophical dictionary. 2014.
set-theoretic hierarchy
Look at other dictionaries:
set theory — The modern theory of sets was largely inspired by Cantor, whose proof that the set of real numbers could not be put into a one to one correspondence with the set of natural numbers opened the door to the set theoretic hierarchy, and to the study… … Philosophy dictionary
set — Intuitively a set is a collection of entities, called its members or elements, itself considered as a single object. The fundamental principle of the theory of sets is the principle of extensionality : sets are identical if and only if they have… … Philosophy dictionary
Set theory — This article is about the branch of mathematics. For musical set theory, see Set theory (music). A Venn diagram illustrating the intersection of two sets. Set theory is the branch of mathematics that studies sets, which are collections of objects … Wikipedia
set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… … Universalium
Implementation of mathematics in set theory — This article examines the implementation of mathematical concepts in set theory. The implementation of a number of basic mathematical concepts is carried out in parallel in ZFC (the dominant set theory) and in NFU, the version of Quine s New… … Wikipedia
Descriptive set theory — In mathematical logic, descriptive set theory is the study of certain classes of well behaved subsets of the real line and other Polish spaces. As well as being one of the primary areas of research in set theory, it has applications to other… … Wikipedia
List of set theory topics — Logic portal Set theory portal … Wikipedia
Nichtmenge — In der formalen Logik, genauer der Mengenlehre (auch in der formalen Ontologie), ist eine Nichtmenge (engl. nonset) ein Objekt, das keine Menge ist. Jede Nichtmenge ist ein Urelement. Inhaltsverzeichnis 1 Eigenschaften 2 Beispiele 3 Literatur … Deutsch Wikipedia
New Foundations — In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Quine first proposed NF in a 1937 article titled New Foundations for … Wikipedia
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
